Computation tree - PDFSEARCH.IO - Document Search Engine

Computation tree
Results: 129

#	Item
111	Backward Induction is PTIME-complete Jakub Szymanik∗ Institute of Logic Language and Computation, University of Amsterdam [removed] Abstract. We prove that the computational problem of finding backward induc Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-07-13 09:14:28 Complexity classes Finite model theory Graph connectivity Game theory FO Reachability P Extensive-form game Tree Theoretical computer science Graph theory Mathematics
112	Privacy Preserving Data Mining∗ Yehuda Lindell Department of Computer Science Weizmann Institute of Science Rehovot, Israel. [removed] Add to Reading List Source URL: www.pinkas.net Language: English - Date: 2004-02-17 13:42:09 Decision trees Theoretical computer science Secure multi-party computation ID3 algorithm Decision tree learning ID3 Secure two-party computation Communication complexity Oblivious transfer Cryptographic protocols Data Information
113	CHAINS AND ANTICHAINS IN PARTIAL ORDERINGS VALENTINA S. HARIZANOV, CARL G. JOCKUSCH, JR., AND JULIA F. KNIGHT Abstract. We study the complexity of infinite chains and antichains in computable partial orderings. We show t Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:58:40 Order theory Computability theory Integer sequences Antichain Functions and mappings Computable function Tree Function Model theory Mathematics Mathematical logic Theory of computation
114	i i “p02c00˙bmc” — [removed] — 10:13 — page 457 — #3 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:48 Logic Logic in computer science Linear temporal logic Model checkers Model checking Computation tree logic Stable model semantics Modal logic SPIN model checker Temporal logic Theoretical computer science Mathematical logic
115	derived several key results of the theory of automata in the axiomatic settings. THEORETICAL COMPUTER SCIENCE The research performed in the Department of Foundations of Computer Science lies in the intersection of algebr Add to Reading List Source URL: www.inf.u-szeged.hu Language: English - Date: 2010-05-13 07:14:20 Mathematics Combinatorics on words Applied mathematics Models of computation Tree automaton Alphabet Finite-state machine Theory of computation International Conference on Developments in Language Theory Formal languages Automata theory Theoretical computer science
116	Journal of Machine Learning Research[removed] Submitted 10/01; Published 02/02 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-06 06:03:38 Computational learning theory Machine learning Models of computation Probably approximately correct learning Decision tree model Normal distribution Function Supervised learning Evolvability Mathematics Applied mathematics Theoretical computer science
117	Battery Transition Systems ∗ Udi Boker Add to Reading List Source URL: www.faculty.idc.ac.il Language: English - Date: 2014-01-22 03:50:39 Tree Petri net Battery Mathematics Science Logic Models of computation Rechargeable battery Energy
118	arXiv:math/9812028v1 [math.GR] 4 Dec 1998 Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-11-15 20:15:26 Combinatorics Combinatorics on words Metric geometry Automata theory Models of computation Configuration graph End Tree Word metric Abstract algebra Mathematics Geometric group theory
119	Adding Nesting Structure to Words RAJEEV ALUR University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-12-06 15:48:58 Models of computation Computer science Mathematics Nested word Words Regular tree grammar Finite-state machine Muller automaton Nesting Automata theory Formal languages Theoretical computer science
120	Temporal logic in system analysis (4) CTL logic Add to Reading List Source URL: staff.iiar.pwr.wroc.pl Language: English - Date: 2013-04-14 12:56:28 Computation tree logic Linear temporal logic Logic Science Mathematical logic CTL* Temporal logic Logic in computer science Mathematics

UPDATE